Cat(0) Is an Algorithmic Property
نویسندگان
چکیده
In this article we give an explicit algorithm which will determine, in a discrete and computable way, whether a finite piecewise Euclidean complex is non-positively curved. In particular, given such a complex we show how to define a boolean combination of polynomial equations and inequalities in real variables, i.e. a real semi-algebraic set, which is empty if and only if the complex is non-positively curved. Once this equivalence has been shown, the main result follows from a standard theorem in real algebraic geometry.
منابع مشابه
Groups acting on CAT(0) cube complexes
We show that groups satisfying Kazhdan’s property (T) have no unbounded actions on nite dimensional CAT(0) cube complexes, and deduce that there is a locally CAT(−1) Riemannian manifold which is not homotopy equivalent to any nite dimensional, locally CAT(0) cube complex. AMS Classi cation numbers Primary: 20F32 Secondary: 20E42, 20G20
متن کاملStrong Convergence Theorems for a Countable Family of Nonexpansive Mappings in Convex Metric Spaces
and Applied Analysis 3 by 1.5 to a common fixed point of a countable infinite family of nonexpansive mappings in convex metric spaces and CAT 0 spaces under certain suitable conditions. 2. Preliminaries We recall some definitions and useful lemmas used in the main results. Lemma 2.1 see 9, 10 . Let X, d,W be a convex metric space. For each x, y ∈ X and λ, λ1, λ2 ∈ 0, 1 , we have the following. ...
متن کاملParallel Genetic Algorithm Using Algorithmic Skeleton
Algorithmic skeleton has received attention as an efficient method of parallel programming in recent years. Using the method, the programmer can implement parallel programs easily. In this study, a set of efficient algorithmic skeletons is introduced for use in implementing parallel genetic algorithm (PGA).A performance modelis derived for each skeleton that makes the comparison of skeletons po...
متن کامل4-dimensional Locally Cat(0)-manifolds with No Riemannian Smoothings
We construct examples of 4-dimensional manifolds M supporting a locally CAT(0)metric, whose universal covers Q M satisfy Hruska’s isolated flats condition, and contain 2-dimensional flats F with the property that @1F Š S ,! S Š @1 Q M are nontrivial knots. As a consequence, we obtain that the group 1.M/ cannot be isomorphic to the fundamental group of any compact Riemannian manifold of nonposit...
متن کاملThe Weak Specification Property for Geodesic Flows on Cat(-1) Spaces
We prove that the geodesic flow on a compact locally CAT(−1) space has the weak specification property, and give various applications of this property. We show that every Hölder continuous function on the space of geodesics has a unique equilibrium state, and as a result, that the BowenMargulis measure is the unique measure of maximal entropy. We establish the equidistribution of weighted perio...
متن کامل